* doc/misc/Makefile.in (info): Make it the first target again.
authorGlenn Morris <rgm@gnu.org>
Fri, 4 May 2012 20:53:03 +0000 (16:53 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 4 May 2012 20:53:03 +0000 (16:53 -0400)
commit6ea14aa8d87e8ed82d4a987ef2533260a7723526
tree83e095d6f6ce060b069e76e2da0906fe29c409c3
parent1795a01f5fdc5ba2de288b41427218c934604e2f
* doc/misc/Makefile.in (info): Make it the first target again.
doc/misc/Makefile.in